Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed us (...) to determine the congruence of the tense Nelson algebras and also to characterize the subdirectly irreducible tense Nelson algebras and particularly the simple tense Nelson algebras. Finally, we prove that there exists an equivalence between the category of IKt-algebras and the category of tense centered Nelson algebras. (shrink)

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

The European Clinical Trials Directive was issued in 2001 and aimed to simplify and harmonise the regulatory framework of clinical trials throughout Europe, thus stimulating European research. However, significant complexity and inconsistency remains due to disparate interpretation by EU member states. Critical care research has been particularly impacted due to variable and often restrictive consenting procedures for incapacitated subjects, with some countries requiring a court-appointed representative, while others recognise consent from family members and occasionally professional representatives. Furthermore, the absence of (...) a waiver of consent threatened to put an end to emergency research in Europe and was met with varied responses. Approval procedures by ethics committees are equally inconsistent, particularly those relating to provision of a single opinion for multi-centre trials. Although evidence is somewhat mixed, this complexity as well as a general increase in administrative and financial burden following the Directive has been shown to cause a reduction in clinical trial activity in Europe, particularly academic trials. We aim to clarify some of these inconsistent procedures, particularly those relating to informed consent of incapacitated subjects, as well as discussing some general weaknesses and possible improvements of the Directive ahead of its planned revision in 2011. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL (...) + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

Between 1787, and the end of his life in 1832, Bentham turned his attention to the development and application of economic ideas and principles within the general structure of his legislative project. For seventeen years this interest was manifested through a number of books and pamphlets, most of which remained in manuscript form, that develop a distinctive approach to economic questions. Although Bentham was influenced by Adam Smith's An Inquiry into the Nature and Causes of the Wealth of Nations, he (...) neither adopted a Smithian vocabulary for addressing questions of economic principle and policy, nor did he accept many of the distinctive features of Smith's economic theory. One consequence of this was that Bentham played almost no part in the development of the emerging science of political economy in the early nineteenth century. The standard histories of economics all emphasize how little he contributed to the mainstream of late eighteenth and early nineteenth-century debate by concentrating attention on his utilitarianism and the psychology of hedonism on which it is premised. Others have argued that the calculating nature of his theory of practical reason reduced the whole legislative project to a crude attempt to apply economics to all aspects of social and political life. Put at its simplest this argument amounts to the erroneous claim that Bentham's science of legislation is reducible to the science of political economy. A different but equally dangerous error would be to argue that because Bentham's conception of the science of legislation comprehends all the basic forms of social relationships, there can be no science of political economy as there is no autonomous sphere of activity governed by the principles of economics. This approach is no doubt attractive from an historical point of view given that the major premise of this argument is true, and that many of Bentham's ‘economic’ arguments are couched in terms of his theory of legislation. Yet it fails to account for the undoubted importance of political economy within Bentham's writings, not just on finance, economic policy, colonies and preventive police, but also in other aspects of his utilitarian public policy such as prison reform, pauper management, and even constitutional reform. All of these works reflect a conception of political economy in its broadest terms. However, this conception of political economy differs in many respects from that of Bentham's contemporaries, and for this reason Bentham's distinctive approach to problems of economics and political economy has largely been misunderstood. (shrink)

In his paper ‘Has the Ontological Argument Been Refuted?’, 97–110) William F. Vallicella argues that my attempt to show that the Ontological Argument begs the question is unsuccessful. 1 I believe he is wrong about this, but before endeavouring to vindicate my position I must first make clear what precisely is the point at issue between us. The Ontological Argument is not a single argument, but a family of arguments. Newly devised formulations of the argument are frequently put forward by (...) philosophers in an effort to avoid difficulties that have been pointed out in previous versions. As a consequence there is no possibility of a conclusive proof that every form of the argument embodies the same fallacy. Nevertheless, one can, I believe, prove that all the standard versions of the argument embody a certain fallacy and that, given the nature of the argument, it is therefore unlikely that the argument can be formulated in such a way as to avoid this difficulty. What I tried to show in my paper is that the six best-known versions of the argument all beg the question and that they do so at the same point in the argument, namely when it is asserted that it is possible that an absolutely perfect being exists. It is difficult to see how an ontological argument could be formulated without including this claim as one of its premises, since the distinguishing badge of the argument is the inference from the possibility of an absolutely perfect being to its actuality. It must be unlikely then, if my criticism of these six versions is correct, that there is any way of formulating the argument that avoids this fallacy. (shrink)

Theism, according to David O'Connor, has in recent centuries been on trial for its life, the charge being that the existence of so much evil in the world is incompatible with belief in a benevolent creator. But this trial, he claims is incapable of producing a reasoned verdict.

Religion and the external world -- Projection, religion, and the external world -- The senses, reason and the imagination -- Realism, meaning and justification : the external world and religious belief -- Modality, projection and realism -- 'Our profound ignorance' : causal realism, and the failure to detect necessity -- Spreading the mind : projection, necessity and realism -- Into the labyrinth : persons, modality, and Hume's undoing -- Value, projection, and realism -- Gilding : projection, value and secondary qualities (...) -- The gold : good, evil, belief and desire -- The golden : relational values, realism and a moral sense. (shrink)

The Bible: Sole basis for Reformed church polity?Most scholars in the Reformed tradition claim that the Bible is the sole basis of their views on church polity. The author looks at the different ways the Bible is used by Reformed scholars in establishing church principles. He shows that other factors also play a part. Some of these factors are not recognized by those who use them; they are not necessarily wrong and need to be acknowledged and examined. These factors include (...) confessions of faith, a viewpoint on what the church is, attitudes to society as a whole, and the scholar’s cosmological insights. (shrink)

Mental health surveys are used extensively in epidemiological research worldwide. The ethical questions that arise regarding their risk of causing psychological distress or other potential harm have not been studied in the general population. We have investigated how study participants serving as controls in a population-based study perceived an anonymous postal questionnaire focusing on mental health and wellbeing. Parents were contacted from the Swedish Census Bureau as part of a larger follow-up study on palliative care conducted in 2001. Eligible parents (...) had a child of the same gender, year of birth and were from the same counties in Sweden as parents who had lost a child to cancer. Five percent reported being negatively affected. The principle negative effect on participants was that self-reflection reminded them of their difficulties. Of the 418 respondents, 52% reported that they were positively affected by study participation and 95% perceived the inquiry as valuable. These findings support the use of population-based controls in future research. (shrink)

This new edition offers expanded selections from the works of Kongzi, Mengzi, Zhuangzi, and Xunzi ; two new works, the dialogues _Robber Zhi_ and _White Horse_; a concise general introduction; brief introductions to, and selective bibliographies for, each work; and four appendices that shed light on important figures, periods, texts, and terms in Chinese thought.

We prove almost sure exponential stability for the disease-free equilibrium of a stochastic differential equations model of an SIR epidemic with vaccination. The model allows for vertical transmission. The stochastic perturbation is associated with the force of infection and is such that the total population size remains constant in time. We prove almost sure positivity of solutions. The main result concerns especially the smaller values of the diffusion parameter, and describes the stability in terms of an analogue $$\mathcal{R}_\sigma$$ of the (...) basic reproduction number $$\mathcal{R}_0$$ of the underlying deterministic model, with $$\mathcal{R}_\sigma \le \mathcal{R}_0$$. We prove that the disease-free equilibrium is almost sure exponentially stable if $$\mathcal{R}_\sigma <1$$. (shrink)

Inleidend overzicht van de wijsgerige ethiek.

The metaphysical problem of individuation requires an answer to two different but intimately related questions: 1) How are we to characterize individuality ontologically? To what ontological category or logical type does individuality belong? 2) What sort of distinction is there between the individuality and nature of an individual, e.g., a real distinction, a modal distinction, a distinction of reason, or some other distinction My purpose in this article is to clarify a bare particular account of individuation and respond to objections (...) that have been raised against bare particulars as individuators. (shrink)

It is the impression of neurologists who deal with cancer patients that the incidence of neurologic complications of cancer is increasing (Posner 1995). ...

In response to criticisms of the use of the Ideological Surround Model to analyze Tolerance of Ambiguity, emphasis is placed on how the methodologies of this model operate from Christian pacifist assumptions. This model seeks to promote social scientific methodologies that will allow competing perspectives to obtain increasing clarity on points of conflict.

P J Crittenden; Thoughts about Locke's Thoughts about Education, Journal of Philosophy of Education, Volume 15, Issue 2, 30 May 2006, Pages 149–160, https://doi.

Multidisciplinary healthcare committees meet regularly to discuss patients’ candidacy for emerging functional neurosurgical procedures, such as Deep Brain Stimulation . Through debate and discussion around the surgical candidacy of particular patients, functional neurosurgery programs begin to mold practice and policy supported both by scientific evidence and clear value choices. These neurosurgical decisions have special considerations not found in non-neurologic committees. The professional time used to resolve these conflicts provides opportunities for the emergence of careful, ethical practices simultaneous with the expansion (...) of therapy applications. (shrink)

While cetaceans clearly show social learning in a wide variety of contexts, to label this as hides more than it reveals: we need a taxonomy of culture to tease apart the differences rather than hiding them in a catch-all category.

P J Crittenden; Thoughts about Locke's Thoughts about Education, Journal of Philosophy of Education, Volume 15, Issue 2, 30 May 2006, Pages 149–160, https://doi.